DEVLIN, KEITH: шукати на сайті Z-Library

Журнал:

Mathematics Magazine

Рік:

1996

Мова:

english

Файл:

PDF, 690 KB

english, 1996

Fermat's Last Theorem

Журнал:

Jet Wimp, Keith J. Devlin

Рік:

1994

Мова:

english

Файл:

PDF, 498 KB

english, 1994

The math gene: How mathematical thinking evolved and why numbers are like gossip

Журнал:

The Mathematical Intelligencer

Рік:

2002

Мова:

english

Файл:

PDF, 1.61 MB

english, 2002

What is a Computation?

Журнал:

Рік:

1995

Мова:

english

Файл:

PDF, 1.57 MB

english, 1995

Information flow: the logic of distributed systems by Jon Barwise and Jerry Seligman

Журнал:

Complexity

Рік:

1998

Мова:

english

Файл:

PDF, 104 KB

english, 1998

Infons as mathematical objects

Keith J. Devlin

Журнал:

Minds and Machines

Рік:

1992

Мова:

english

Файл:

PDF, 1.23 MB

english, 1992

[Handbook of the History of Logic] Logic and the Modalities in the Twentieth Century Volume 7 || Situation theory and situation semantics

Рік:

2006

Мова:

english

Файл:

PDF, 2.98 MB

english, 2006

Snake Eyes in the Garden of Eden

DEVLIN, KEITH

Журнал:

The Sciences

Рік:

2000

Мова:

english

Файл:

PDF, 3.31 MB

english, 2000

Move Over Fermat, Now It's Time for Beal's Problem

Журнал:

Рік:

1998

Мова:

english

Файл:

PDF, 1.14 MB

english, 1998

The Logical Structure of Computer-Aided Mathematical Reasoning

American Mathematical Monthly

Журнал:

Рік:

1997

Мова:

english

Файл:

PDF, 449 KB

english, 1997

[Undergraduate Texts in Mathematics] The Joy of Sets ||

Рік:

1993

Мова:

english

Файл:

PDF, 14.95 MB

english, 1993

Fermat Watch

Журнал:

Рік:

1994

Мова:

english

Файл:

PDF, 874 KB

english, 1994

Perelman's Possible Poincaré Proof

Журнал:

Рік:

2004

Мова:

english

Файл:

PDF, 921 KB

english, 2004

Jon Barwise's Papers on Natural Language Semantics

Bulletin of Symbolic Logic

Журнал:

Рік:

2004

Мова:

english

Файл:

PDF, 640 KB

english, 2004

On My Mind: Numbers in the Garden and Geometry in the Jungle

Mathematics Teaching in the Middle School

Журнал:

Рік:

2002

Мова:

english

Файл:

PDF, 3.32 MB

english, 2002

The Logical Structure of Computer-Aided Mathematical Reasoning

American Mathematical Monthly

Журнал:

Рік:

1997

Мова:

english

Файл:

PDF, 1.40 MB

english, 1997

What is a Computation?

Журнал:

Рік:

1995

Мова:

english

Файл:

PDF, 4.37 MB

english, 1995

A Mathematician Reflects on the Useful and Reliable Illusion of Reality in Mathematics

Журнал:

Erkenntnis

Рік:

2008

Мова:

english

Файл:

PDF, 222 KB

english, 2008

The Pascal-Fermat Correspondence: How Mathematics Is Really Done

Журнал:

Mathematics Teacher

Рік:

2010

Мова:

english

Файл:

PDF, 4.58 MB

english, 2010

Centenary Issue || Mathematical Proofs in the Computer Age

Журнал:

The Mathematical Gazette

Рік:

1996

Мова:

english

Файл:

PDF, 505 KB

english, 1996

Test Tube Computing with DNA

Журнал:

Рік:

1995

Мова:

english

Файл:

PDF, 1.28 MB

english, 1995

Logic for computer scientists : By Uwe Schöning. Birkhäuser, Therwill, Switzerland, 1989. Price SFr 48.00 (hardback), ISBN 3-7643-3453-3

Science of Computer Programming

Журнал:

Рік:

1990

Мова:

english

Файл:

PDF, 183 KB

english, 1990

[Undergraduate Texts in Mathematics] The Joy of Sets || The Zermelo—Fraenkel Axioms

Рік:

1993

Мова:

english

Файл:

PDF, 3.08 MB

english, 1993

Rather than scientific literacy, colleges should teach scientific awareness

American Journal of Physics

Журнал:

Рік:

1998

Мова:

english

Файл:

PDF, 264 KB

english, 1998

Playing the Negadecimal Game

Журнал:

Рік:

1995

Мова:

english

Файл:

PDF, 364 KB

english, 1995

Becoming a Better Reasoner

Review by: Keith Devlin

Журнал:

American Scientist

Рік:

2004

Мова:

english

Файл:

PDF, 498 KB

english, 2004

On My Mind: Reduce Skills Teaching in the Mathematics Class

Mathematics Teaching in the Middle School

Журнал:

Рік:

1999

Мова:

english

Файл:

PDF, 1.31 MB

english, 1999

Perelman's Possible Poincaré Proof

Журнал:

Рік:

2004

Мова:

english

Файл:

PDF, 1.29 MB

english, 2004

ℵ1-TREES

Annals of Mathematical Logic

Журнал:

Рік:

1978

Мова:

english

Файл:

PDF, 3.88 MB

english, 1978

Constructibility || Trees and Large Cardinals in L

Рік:

2016

Мова:

english

Файл:

PDF, 1.19 MB

english, 2016

Fermat's Last Theorem

Журнал:

Murtagh, Fionn, Devlin, Keith

Рік:

1994

Мова:

english

Файл:

PDF, 352 KB

english, 1994

The Development of Data Science: Implications for Education, Employment, Research, and the Data Revolution for Sustainable Development

Журнал:

Big Data and Cognitive Computing

Рік:

2018

Мова:

english

Файл:

PDF, 631 KB

english, 2018

Finding Fibonacci (The Quest to Rediscover the Forgotten Mathematical Genius Who Changed the World) || 14 This Will Change the World

Annals of Mathematical Logic

Рік:

2017

Файл:

PDF, 130 KB

2017

Some weak versions of large cardinal axioms

Keith J. Devlin

Журнал:

Рік:

1973

Мова:

english

Файл:

PDF, 1.77 MB

english, 1973

A note on a problem of Erdös and Hajnal

Keith J. Devlin

Журнал:

Discrete Mathematics

Рік:

1975

Мова:

english

Файл:

PDF, 1.24 MB

english, 1975

[Undergraduate Texts in Mathematics] The Joy of Sets || Ordinal and Cardinal Numbers

Рік:

1993

Мова:

english

Файл:

PDF, 2.31 MB

english, 1993

Sets, Functions and Logic || Use of language in mathematics

Рік:

1981

Мова:

english

Файл:

PDF, 2.13 MB

english, 1981

Viewpoint: the real reason why software engineers need math

Communications of the ACM

Журнал:

Рік:

2001

Мова:

english

Файл:

PDF, 57 KB

english, 2001

Pragmatic phenomenological types

Goranson, Ted, Cardier, Beth, Devlin, Keith

Журнал:

Progress in Biophysics and Molecular Biology

Рік:

2015

Мова:

english

Файл:

PDF, 2.27 MB

english, 2015

Essays in Humanistic Mathematicsby Alvin White

Review by: Keith Devlin

Журнал:

College Mathematics Journal

Рік:

1995

Мова:

english

Файл:

PDF, 207 KB

english, 1995

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium Volume 79 || An Introduction to the Fine Structure of the Constructible Hierarchy

Рік:

1974

Мова:

english

Файл:

PDF, 1.61 MB

english, 1974

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '77 Volume 96 || Martin's Axiom Versus the Continuum Hypothesis

Рік:

1978

Мова:

english

Файл:

PDF, 424 KB

english, 1978

Constructibility || The Constructible Universe

Рік:

2016

Мова:

english

Файл:

PDF, 1.75 MB

english, 2016

Constructibility || Morasses and the Cardinal Transfer Theorem

Рік:

2016

Мова:

english

Файл:

PDF, 2.10 MB

english, 2016

Constructibility || ω1-Trees in L

Рік:

2016

Мова:

english

Файл:

PDF, 1.16 MB

english, 2016

Constructibility || Preliminaries

Рік:

2016

Мова:

english

Файл:

PDF, 1.93 MB

english, 2016

Constructibility || The Fine Structure Theory

Рік:

2016

Мова:

english

Файл:

PDF, 2.90 MB

english, 2016

Constructibility || The Story of 0*

Рік:

2016

Мова:

english

Файл:

PDF, 2.03 MB

english, 2016

Constructibility || K+-Trees in L and the Fine Structure Theory